Nuprl Definition : ecl-kinds
11,40
postcript
pdf
ecl-kinds(
x
)
== ecl_ind(
x
;
== ecl_ind(
k
,
test
.cons(
k
; []);
== ecl_ind(
a
,
b
,
A
,
B
.append(
A
;
B
);
== ecl_ind(
a
,
b
,
A
,
B
.append(
A
;
B
);
== ecl_ind(
a
,
b
,
A
,
B
.append(
A
;
B
);
== ecl_ind(
a
,
A
.
A
;
== ecl_ind(
a
,
m
,
A
.
A
;
== ecl_ind(
a
,
m
,
A
.
A
;
== ecl_ind(
a
,
l
,
A
.
A
)
latex
Definitions
append(
as
;
bs
)
,
[]
,
cons(
car
;
cdr
)
,
ecl
ind
FDL editor aliases
ecl-kinds
origin